Filter
Sökt på: Sökresultat
Filter
1 träff
Formal Verification of Floating-Point Hardware Design
E-bok,
2018,
Engelska,
ISBN 9783319955131
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point …